Techniques That Produce Teamwork

Two Techniques Produce Slow Antihydrogen

Laboratory detection of Enterobacteriaceae that produce carbapenemases.

A study was designed to evaluate the modified Hodge test (MHT), Mastdiscs ID inhibitor combination disks (MDI), Rosco Diagnostica Neo-Sensitabs (RDS), metallo-β-lactamase (MBL) Etest, and in-house multiplex PCR for the detection of well-characterized carbapenemase-producing Enterobacteriaceae. One hundred forty-two nonrepeat clinical isolates of carbapenemase-producing Enterobacteriaceae (inclu...

Efficient Teamwork

In dynamic stochastic environments, dynamic decision-making is necessary for effi-ciency. We consider multi-agent projects where each agent has hidden abilities, actionsand chance events. Here, efficient dynamic decision-making means that all agents shouldtruthfully reveal their private information, and they should make all their hidden actionsaccording to the efficient dynamic ...

Union-Find and Congruence Closure Algorithms that Produce Proofs

Congruence closure algorithms are nowadays central in many modern applications in automated deduction and verification, where it is frequently required to recover the set of merge operations that caused the equivalence of a given pair of terms. For this purpose we study, from the algorithmic point of view, the problem of extracting such small proofs. Union-find data structures maintain the equi...

Prevalence of Diseases That Produce Low Back Pain

some time, but only 14% have an episode that lasts more than 2 weeks. About 1.5% have such episodes with features of sciatica.2,3 Most causes of back pain respond to symptomatic and physical measures, but some are surgically remediable and some are systemic diseases (cancer or disseminated infection) requiring specific therapy, so careful diagnostic evaluation is important. Features of the clin...